Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
471	Microsoft Word - Final Report Add to Reading List Source URL: www.isi.edu Language: English - Date: 2003-05-22 14:34:01 Knowledge representation Reasoning Cognitive architecture Programming paradigms Knowledge engineering LOOM Knowledge representation and reasoning Reasoning system Expert system Artificial intelligence Science Cognition
472	Fun for Freshman Kids Felleisen, Findler, Flatt, Krishnamurthi PLT interview with famous FP person in trade magazine, feb. ‘09 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-09-03 07:25:54 Computer programming Procedural programming languages Imperative programming Functional programming Programming language C Software engineering Programming paradigms Computing
473	Functional High Performance Financial IT The Hiperfit? Research Center in Copenhagen – Project Paper – Jost Berthold1 , Andrzej Filinski1 , Fritz Henglein1 , Ken Friis Larsen1 , Mogens Steffensen2 , and Brian Vinter3 Add to Reading List Source URL: hiperfit.dk Language: English Programming paradigms Functional languages Parallel computing Array programming languages Models of computation NESL Haskell Parallel programming model Declarative programming Computing Software engineering Computer programming
474	Functional Programming Patterns in Scala and Clojure Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-11-12 17:51:14 Functional languages Cross-platform software Programming paradigms Object-oriented programming Java platform Clojure Immutable object Functional programming Lisp Computing Software engineering Computer programming
475	Sceptic User Manual September 1989, revised March 1990 Version 3.0, December 1990 Saki Hajnal John Fox Paul Krause Add to Reading List Source URL: cogent.psyc.bbk.ac.uk Language: English - Date: 2012-01-10 15:14:11 Prolog Logic programming Programming paradigms Production system Constraint programming B-Prolog Software engineering Computer programming Computing
476	Suppl : A Flexible Language for Policies Robert Dockins and Andrew Tolmach Portland State University Abstract. We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, exe Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2014-09-11 10:05:46 Programming paradigms Prolog Predicate Logic programming Logic Mathematical logic Mathematics
477	William E. Byrd http://webyrd.net/ Work Merrill Engineering Building, Room[removed]S Central Campus Drive University of Utah Add to Reading List Source URL: webyrd.net Language: English - Date: 2015-04-07 19:59:59 Programming paradigms Functional languages Daniel P. Friedman Logic programming Declarative programming International Conference on Functional Programming Programming language Friedman Prolog Software engineering Computing Computer programming
478	gnuplot/cilkm_pbfs_nlp.eps Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2014-08-27 02:16:24 Application programming interfaces Parallel computing Concurrency control Computer architecture Programming paradigms Cilk Intel Cilk Plus Thread Intel Threading Building Blocks Computing Computer programming Concurrent computing
479	Towards efficient implementations of effect handlers – Extended Abstract – Steven Keuchel Tom Schrijvers Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Functional programming Control flow Adjoint functors Continuations Programming paradigms Monad Delimited continuation Exception handling Type class Software engineering Computing Computer programming
480	Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-07-31 02:23:26 Software engineering Formal methods Constraint programming Logic in computer science Logic programming Solver Formal verification Synthesizer Model checking Applied mathematics Theoretical computer science Programming paradigms

UPDATE